Wyniki
-
Tableaux variants of some modal and relevant systems
P. Bystrov
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 92-103 -
Intuitionistic system without contraction
G. K. Dardzania
Bulletin of the Section of Logic , 6 /1 (1977) s. 2-8 -
A logic for indefinite propositions
G. F. Liddell
Bulletin of the Section of Logic , 6 /3 (1977) -
A note on Zermelo set theory
Carlos G. Gonzalez
Bulletin of the Section of Logic , 21 /1 (1992) s. 28-30 -
A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LC
Alexej P. Pynko
Bulletin of the Section of Logic , 32 /3 (2003) s. 137-146 -
Sequential Calculi for Many-valued Logics with Equality Determinant
Alexej P. Pynko
Bulletin of the Section of Logic , 33 /1 (2004) s. 23-32 -
Gentzen's Cut-Free Calculus Versus the Logic of Paradox
Alexej P. Pynko
Bulletin of the Section of Logic , 39 /1-2 (2010) s. 35-42 -
On Deductive Bases for Partial Equilibrium Logic
Sergei P. Odintsov
Bulletin of the Section of Logic , 41 /3-4 (2012) s. 199-213 -
Minimal Sequent Calculi for Lukasiewicz's Finitely-Valued Logics
Alexej P. Pynko
Bulletin of the Section of Logic , 44 /3-4 (2015) s. 149-154 -
Four-Valued Expansions of Dunn-Belnap's Logic (I) : Basic Characterizations
Alexej P. Pynko
Bulletin of the Section of Logic , 49 /4 (2020) s. 401-437 -
Physical topology: some problems
C. Mortensen, G. Nerlich
Bulletin of the Section of Logic , 6 /3 (1977) -
Remarks on Heyting Algebras with Tense Operators
A.V. Figallo, G. Pelaitay
Bulletin of the Section of Logic , 41 /1-2 (2012) s. 71-74 -
Tense Polyadic n⨯ m Valued Łukasiewicz-Moisil Algebras
A.V. Figallo, G. Pelaitay
Bulletin of the Section of Logic , 44 /3-4 (2015) s. 155-181 -
iH-Propositional Calculus
A.V. Figallo, G. Ramon, S. Saad
Bulletin of the Section of Logic , 35 /4 (2006) s. 157-162 -
Semi-Heyting Algebras and Identities of Associative Type
Juan M. Cornejo, Hanamantagouda P. Sankappanavar
Bulletin of the Section of Logic , 48 /2 (2019) s. 117-135 -
Descriptive Complexity of Modularity Problems on Graphs
Haroldo G. Benatti, Ruy J.G.B. de Queiroz
Bulletin of the Section of Logic , 34 /2 (2005) s. 61-75 -
On the Descriptive Complexity of the Two Disjoint Paths Problem Over Undirected Graphs
Haroldo G. Benatti, Ruy J.G.B. de Queiroz
Bulletin of the Section of Logic , 35 /4 (2006) s. 195-214